Yuefei, Sui: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A computational framework for Karl Popper’s logic of scientific discovery

Li, Wei, Sui, Yuefei

Journal:

SCIENCE CHINA Information Sciences

Year:

2018

Language:

english

File:

PDF, 201 KB

english, 2018

2

Multisequent Gentzen Deduction Systems For B2 2-Valued First-Order Logic

Li, Wei, Sui, Yuefei

Journal:

Artificial Intelligence Research

Year:

2018

Language:

english

File:

PDF, 654 KB

english, 2018

3

The nonmonotonic Gentzen deduction systems for the propositional logic

Cao, Cungen, Sui, Yuefei, Wang, Yuhui

Journal:

Artificial Intelligence Research

Year:

2016

Language:

english

File:

PDF, 2.59 MB

english, 2016

4

A New Reducibility between Turing- and wtt-Reducibility

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 233 KB

english, 1994

5

An information entropy-based approach to outlier detection in rough sets

Feng Jiang, Yuefei Sui, Cungen Cao

Journal:

Expert Systems with Applications

Year:

2010

Language:

english

File:

PDF, 226 KB

english, 2010

6

Some issues about outlier detection in rough set theory

Feng Jiang, Yuefei Sui, Cungen Cao

Journal:

Expert Systems with Applications

Year:

2009

Language:

english

File:

PDF, 226 KB

english, 2009

7

A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic

Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 213 KB

english, 2006

8

A rough set approach to outlier detection

Jiang, Feng, Sui, Yuefei, Cao, Cungen

Journal:

International Journal of General Systems

Year:

2008

Language:

english

File:

PDF, 213 KB

english, 2008

9

The cupping theorem in R/M

Yuefei, Sui, Zaiyue, Zhang

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 570 KB

english, 1999

10

Pulmonary edema following central nervous system lesions induced by a non- mouse-adapted EV71 strain in neonatal BALB/c mice

Jin, Yuefei, Zhang, Chao, Zhang, Rongguang, Ren, Jingchao, Chen, Shuaiyin, Sui, Meili, Zhou, Guangyuan, Dang, Dejian, Zhu, Jiehui, Feng, Huifen, Xi, Yuanlin, Yang, Haiyan, Duan, Guangcai

Journal:

Virology Journal

Year:

2017

Language:

english

File:

PDF, 11.42 MB

english, 2017

11

[IEEE 2017 13th International Conference on Semantics, Knowledge and Grids (SKG) - Beijing, China (2017.8.13-2017.8.14)] 2017 13th International Conference on Semantics, Knowledge and Grids (SKG) - Quantified Propositional Logic and Translations

Bo, Chen, Cheng, Wu, Bing, Zhang, Changhui, Ma, Yuefei, Sui

Year:

2017

Language:

english

File:

PDF, 194 KB

english, 2017

12

Self-repairing capability of magnesium alloy during the plasma electrolyte oxidation process

Zhu, Lujun, Ke, Xiaoxing, Zhang, Bin, Zhang, Yuefei, Sui, Manling

Journal:

Journal of Alloys and Compounds

Year:

2018

Language:

english

File:

PDF, 28.45 MB

english, 2018

13

Normalized-scale Relations and Their Concept Lattices in Relational Databases

Lei, Yuxia, Sui, Yuefei, Cao, Cungen

Journal:

Fundamenta Informaticae

Year:

2009

File:

PDF, 155 KB

2009

14

An extended Lachlan splitting theorem

Steffen Lempp, Sui Yuefei

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 452 KB

english, 1996

15

A Chinese time ontology for the Semantic Web

Chunxia Zhang, Cungen Cao, Yuefei Sui, Xindong Wu

Journal:

Knowledge-Based Systems

Year:

2011

Language:

english

File:

PDF, 1.10 MB

english, 2011

16

Some results about the R.E. degrees

Journal:

Acta Mathematica Sinica, English Series (Springer)

Year:

1987

Language:

english

File:

PDF, 441 KB

english, 1987

17

On the problem of the critical bound

Journal:

Acta Mathematica Sinica, English Series (Springer)

Year:

1993

Language:

english

File:

PDF, 291 KB

english, 1993

18

Local noncuppability in R/M

Zaiyue Zhang, Yuefei Sui

Journal:

SCIENCE CHINA Information Sciences

Year:

2001

Language:

english

File:

PDF, 730 KB

english, 2001

19

The contiguity in R/M

Zaiyue Zhang, Sui Yuefei

Journal:

Journal of Computer Science and Technology

Year:

2002

Language:

english

File:

PDF, 343 KB

english, 2002

20

Progress in the development of national knowledge infrastructure

Cungen Cao, Qiangze Feng, Ying Gao, Fang Gu, Jinxin Si, Yuefei Sui, Wen Tian, Haitao Wang, Lili Wang, Qingtian Zeng, Chunxia Zhang, Yufei Zheng, Xiaobin Zhou

Journal:

Journal of Computer Science and Technology

Year:

2002

Language:

english

File:

PDF, 1.18 MB

english, 2002

21

Two online algorithms for the ambulance systems

Journal:

Journal of Computer Science and Technology

Year:

2001

Language:

english

File:

PDF, 368 KB

english, 2001

22

Well limit behaviors of term rewriting systems

Shilong Ma, Yuefei Sui, Ke Xu

Journal:

Frontiers of Computer Science

Year:

2007

Language:

english

File:

PDF, 820 KB

english, 2007

23

Types, structures and theories in NKI

Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui

Journal:

Frontiers of Computer Science

Year:

2008

Language:

english

File:

PDF, 151 KB

english, 2008

24

Dynamic description logic model for data integration

Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv

Journal:

Frontiers of Computer Science

Year:

2008

Language:

english

File:

PDF, 353 KB

english, 2008

25

Bounded recursively enumerable sets and degrees

Journal:

Journal of Computer Science and Technology

Year:

1993

Language:

english

File:

PDF, 183 KB

english, 1993

26

The polynomially exponential time restrained analytical hierarchy

Journal:

Journal of Computer Science and Technology

Year:

1991

Language:

english

File:

PDF, 155 KB

english, 1991

27

Classification of the index sets of low[n]pand high[n]p

Journal:

Journal of Computer Science and Technology

Year:

1991

Language:

english

File:

PDF, 289 KB

english, 1991

28

The correspondence between the concepts in description logics for contexts and formal concept analysis

Yue Ma, YueFei Sui, CunGen Cao

Journal:

SCIENCE CHINA Information Sciences

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

29

Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text

Cungen Cao, Haitao Wang, Yuefei Sui

Journal:

Artificial Intelligence in Medicine

Year:

2004

Language:

english

File:

PDF, 1.09 MB

english, 2004

30

A hybrid approach to outlier detection based on boundary region

Feng Jiang, Yuefei Sui, Cungen Cao

Journal:

Pattern Recognition Letters

Year:

2011

Language:

english

File:

PDF, 271 KB

english, 2011

31

[IEEE 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology - Seoul, Korea (2009.11.24-2009.11.26)] 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology - A Dynamic Description Logic-Based Formalism for RBAC

Ma, Li, Ma, Shilong, Lv, Jianghua, Sui, Yuefei

Year:

2009

Language:

english

File:

PDF, 327 KB

english, 2009

32

An incremental decision tree algorithm based on rough sets and its application in intrusion detection

Jiang, Feng, Sui, Yuefei, Cao, Cungen

Journal:

Artificial Intelligence Review

Year:

2013

Language:

english

File:

PDF, 230 KB

english, 2013

33

A sound and completeR-calculi with respect to contraction and minimal change

Li, Wei, Sui, Yuefei

Journal:

Frontiers of Computer Science

Year:

2014

Language:

english

File:

PDF, 276 KB

english, 2014

34

[IEEE 2009 Fifth International Conference on Semantics, Knowledge and Grid - Zhuhai, China (2009.10.12-2009.10.14)] 2009 Fifth International Conference on Semantics, Knowledge and Grid - Complementary Relations and Their Concept Lattices in Relational Databases

Lei, Yuxia, Sui, Yuefei, Cao, Cungen

Year:

2009

Language:

english

File:

PDF, 355 KB

english, 2009

35

[IEEE 2005 International Conference on Natural Language Processing and Knowledge Engineering - Wuhan, China (30-01 Oct. 2005)] 2005 International Conference on Natural Language Processing and Knowledge Engineering - A Logical Foundation for Ontology Representation in NKI

Yu Sun,, Yuefei Sui,

Year:

2005

Language:

english

File:

PDF, 1.24 MB

english, 2005

36

[IEEE 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06) - Hunan, China (2006.10.21-2006.10.23)] 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06) - A Service-Oriented Data Integration Architecture and the Integrating Tree

Hao, Guoshun, Ma, Shilong, Lv, Jianghua, Sui, Yuefei

Year:

2006

Language:

english

File:

PDF, 647 KB

english, 2006

37

[IEEE 2007 IEEE Symposium on Foundations of Computational Intelligence - Honolulu, HI, USA (2007.04.1-2007.04.5)] 2007 IEEE Symposium on Foundations of Computational Intelligence - A Formal System for Lies Based on Speech Acts in Multi-Agent Systems

Pan, Yu, Cao, Cungen, Sui, Yuefei

Year:

2007

Language:

english

File:

PDF, 1.24 MB

english, 2007

38

[IEEE 2008 IEEE International Conference on Granular Computing (GrC-2008) - Hangzhou (2008.08.26-2008.08.28)] 2008 IEEE International Conference on Granular Computing - An ontology-based first-order intensional logic

Feng Jiang,, Yuefei Sui,, Cungen Cao,

Year:

2008

Language:

english

File:

PDF, 108 KB

english, 2008

39

[IEEE 2010 Sixth International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2010.11.1-2010.11.3)] 2010 Sixth International Conference on Semantics, Knowledge and Grids - Translating Separation Logic into a Fragment of the First-Order Logic

Sui, Yuefei, Shen, Yuming, Cao, Cungen, Wang, Ju

Year:

2010

Language:

english

File:

PDF, 219 KB

english, 2010

40

A novel approach for discretization of continuous attributes in rough set theory

Jiang, Feng, Sui, Yuefei

Journal:

Knowledge-Based Systems

Year:

2015

Language:

english

File:

PDF, 1023 KB

english, 2015

41

[IEEE 2014 9th International Conference on Computer Science & Education (ICCSE) - Vancouver, BC, Canada (2014.8.22-2014.8.24)] 2014 9th International Conference on Computer Science & Education - A Gentzen system for the description logic

Sun, Yu, Sui, Yuefei

Year:

2014

Language:

english

File:

PDF, 244 KB

english, 2014

42

[IEEE 2009 Fifth International Conference on Semantics, Knowledge and Grid - Zhuhai, China (2009.10.12-2009.10.14)] 2009 Fifth International Conference on Semantics, Knowledge and Grid - The Logical Operations on Relations, Scales and Concept Lattices

Lei, Yuxia, Sui, Yuefei, Cao, Cungen

Year:

2009

Language:

english

File:

PDF, 348 KB

english, 2009

43

A relative decision entropy-based feature selection approach

Jiang, Feng, Sui, Yuefei, Zhou, Lin

Journal:

Pattern Recognition

Year:

2015

Language:

english

File:

PDF, 597 KB

english, 2015

44

Induction of forkhead box M1 (FoxM1) by EGF through ERK signaling pathway promotes trophoblast cell invasion

Xie, Yunpeng, Cui, Dan, Sui, Linlin, Xu, Yuefei, Zhang, Ningning, Ma, Yanni, Li, Yinghua, Kong, Ying

Journal:

Cell and Tissue Research

Year:

2015

Language:

english

File:

PDF, 4.82 MB

english, 2015

45

Initialization of K-modes clustering using outlier detection techniques

Jiang, Feng, Liu, Guozhu, Du, Junwei, Sui, Yuefei

Journal:

Information Sciences

Year:

2015

Language:

english

File:

PDF, 1.31 MB

english, 2015

46

[IEEE 2015 11th International Conference on Semantics, Knowledge and Grids (SKG) - Beijing, China (2015.8.19-2015.8.21)] 2015 11th International Conference on Semantics, Knowledge and Grids (SKG) - The Variant Gentzen System for the Propositional Logic

Bo, Chen, Yuefei, Sui, Cungen, Cao

Year:

2015

Language:

english

File:

PDF, 183 KB

english, 2015

47

[IEEE Future Generation Communication and Networking (FGCN 2007) - Jeju, Korea (2007.12.6-2007.12.8)] Future Generation Communication and Networking (FGCN 2007) - A Dynamic Description Logic Approach to Extended RBAC Model

Ma, Li, Ma, Shilong, Sui, Yuefei

Year:

2007

Language:

english

File:

PDF, 78 KB

english, 2007

48

[IEEE 2001 International Conferences on Info-tech and Info-net. - Beijing, China (29 Oct.-1 Nov. 2001)] 2001 International Conferences on Info-Tech and Info-Net. Proceedings (Cat. No.01EX479) - Based-CR knowledge interconnection in National Knowledge Infrastructure

Lei Yuxia,, Cao Cungen,, Sui Yuefei,

Year:

2001

Language:

english

File:

PDF, 358 KB

english, 2001

49

A mechanism for the growth of a plasma electrolytic oxide coating on Al

Zhu, Lujun, Guo, Zhenxi, Zhang, Yuefei, Li, Zhengxian, Sui, Manling

Journal:

Electrochimica Acta

Year:

2016

Language:

english

File:

PDF, 9.47 MB

english, 2016

50

Completeness of Hoare logic with inputs over the standard model

Xu, Zhaowei, Sui, Yuefei, Zhang, Wenhui

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 280 KB

english, 2016